#include "PDTException.h" 
PDTException::PDTException() : 
    stringstream(stringstream::in | stringstream::out){
    }

PDTException::PDTException(PDTException & e) : 
    stringstream(stringstream::in | stringstream::out){
        (*this) << e.str();
    }

PDTException & PDTException::operator << (PDTNodeException e) {
    return (*this)(e);
}
PDTException & PDTException::operator << (PDTCheckSpecException e) {
}

PDTException & PDTException::pdt_throw_ex(const char * ff,const char * fc, int ll)
{ 
    PDTException * ex = new PDTException;
    (*ex) << ff << ":" << ll << ":" << fc << ":" ;
    return *ex;
}

